All Questions
Tagged with lambda-calculusracket
1 question
- Bountied 0
- Unanswered
- Frequent
- Score
- Trending
- Week
- Month
- Unanswered (my tags)
3votes
3answers
2kviews
If Scheme is untyped, how can it have numbers and lists?
Scheme is said to be just an extension of the Untyped Lambda Calculus (correct me if I am wrong). If that is the case, how can it have Lists and Numbers? Those, to me, look like 2 base types. So I'd ...
- The Overflow Blog
- Featured on Meta
Hot Network Questions
- Doubt regarding center of mass of a cone
- How to manipulate the variables when plotting in TikZ/pgfplot?
- Does Logan age four years (or more), or do they adjust his life clock?
- Finding the generators of the fundamental group of a one skeleton of a CW complex
- לשנה הבאה בירושלים - why wait till next year
- How to identify which USB device is failing
- Why do the infected not attack each other?
- Denying entry to fleabitten service dogs
- Mean Value Theorem 2.0
- The term "finitely generated algebra"
- Why did Germany allow and help introduce the Deutsche Mark to Montenegro?
- What is the difference between a minority government and a coalition government?
- There are no employees at the store. Why not?
- Inductive kickback requires a capacitor to "kick back"?
- How to convincingly erase a population's memory?
- Why was the value of modulus (q) chosen small in KYBER and large in DILITHIUM?
- In ST: TNG 6x25, "Timescape", what happens to the Romulan ship?
- Are the 144000 virgins who accompany the lamb wherever he goes Christians?
- Physics equations with universal meaning possible?
- If we can get intelligence from non intelligence, why can’t we get consciousness from non consciousness?
- Magene P505 power meter paywall
- In Canada's 2025 election, what have either Poilievre or Carney, as candidates for Prime Minister, said about balancing the budget?
- How can heat pumps be more efficient than electric/resistive heating?
- What are 'induced atmospheric variations', and how do they cause grid desynchronization? (Current Spain-wide power outage)